Section: Software and Platforms

Sipe

Participant : Vincent Lefèvre.

Sipe is a mini-library in the form of a C header file, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest or toward zero. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), fused multiply-add/subtract (FMA/FMS), and miscellaneous comparisons and conversions. Sipe provides two implementations of these operations, with the same API and the same behavior: one based on integer arithmetic, and a new one based on floating-point arithmetic; see [25] , [39] .

New in 2013:

• the floating-point implementation;

• rounding toward zero (only with the integer implementation).

• ACM: D.2.2 (Software libraries), G.4 (Mathematical software).

• AMS: 26-04 Real Numbers, Explicit machine computation and programs.

• License: LGPL version 2.1 or later.

• Type of human computer interaction: C header file.

• OS/Middleware: any OS.

• Required library or software: GCC compiler.

• Programming language: C.

• Documentation: comment at the beginning of the code and Research report Inria RR-7832.

• URL: https://www.vinc17.net/research/sipe/